由于传统的形式化方法不能保证带时间约束的组合Web服务安全可靠地运行,为了有效地分析并确保带时间约束的组合Web服务的正确性,利......

为了有效地分析实时系统,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,扩展了异步扩展层次自动机的语义。运用基......

基于时间扩展的ASEHA自动机理论j？i以旅行预订票组合Web月艮务为例，分别建立了旅行者（Traveler）、旅行代理（TravelAgent）及航空公司预订......